COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
C00007 ENDMK
C⊗;
1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
((amounts: FY1985: $121,619) (FY1986: $134,328) (FY1987: $151,585))
renewal proposals should be sent 1985 Sept 1, 1986 Sept 1, 1987 June 1

This is the Shankar Ketonen grant.
John,	Here is the information on your new NSF grant (title: "Research
in Mechanical Theorem Proving"):
	
	Account no.:  	    2-DMA489
	Fund no.:	    163C895
	NSF ref. no.:	    CCR-8718605
	Amount:		    $172,351
	Performance period: 1/1/88-12/31/88 (plus 6 mo. flexibility period)

-Sharon Bergman
-------

∂19-Sep-89  1316	bergman@Polya.Stanford.EDU 	new NSF grant    
Received: from Polya.Stanford.EDU by SAIL.Stanford.EDU with TCP; 19 Sep 89  13:16:25 PDT
Received:  by Polya.Stanford.EDU (5.61/25-eef) id AA25186; Tue, 19 Sep 89 13:16:38 -0700
Date: Tue, 19 Sep 1989 13:16:37 PDT
From: Sharon Bergman <bergman@Polya.Stanford.EDU>
To: jmc@sail
Cc: clt@sail, mps@sail, littell@Polya.Stanford.EDU, bscott@Polya.Stanford.EDU,
        bergman@Polya.Stanford.EDU, val@sail
Subject: new NSF grant 
Message-Id: <CMM.0.88.622239397.bergman@Polya.Stanford.EDU>

John,   Here is the account number for your new NSF grant (BASIC
RESEARCH IN AI):

	Account number:		2-DMA531
	Fund number:		163D006
	NSF reference number:	IRI-8904611
	Performance period:	8/1/89-7/31/92 (plus 6 months flex. period)

-Sharon Bergman
John,   This is a 3-year continuing grant.  If the 2nd and 3rd years are
funded, the end date is 7/31/92.  2nd and 3rd year funding is
contingent on the availability of funds and the scientific progress of
the project.
-Sharon

∂10-May-90  1447	bergman@Sunburn.Stanford.EDU 	US-Japan travel grant    
Received: from Sunburn.Stanford.EDU by SAIL.Stanford.EDU with TCP; 10 May 90  14:47:08 PDT
Received:  by Sunburn.Stanford.EDU (5.61+IDA/25-eef) id AA15181; Thu, 10 May 90 14:48:04 -0700
Date: Thu, 10 May 1990 14:48:01 PDT
From: Sharon Bergman <bergman@Sunburn.Stanford.EDU>
To: jmc@sail.Stanford.EDU
Cc: clt@sail.Stanford.EDU, mps@sail.Stanford.EDU, davis@Sunburn.Stanford.EDU,
        bergman@sunburn.Stanford.EDU
Subject: US-Japan travel grant 
Message-Id: <CMM.0.88.642376081.bergman@Sunburn.Stanford.EDU>

John,  I don't believe I given you the account number for your
new NSF grant (Joint US-Japanese Collaboration on Research in New 
Foundations of Computer Science).  Here it is:

	Account number:		2DMA539
	Fund number:		163D065
	Title:			NSF INT 89-20626
	Performance period:	4/1/90-3/31/92 (no 6-mo. flexibility period)
	Total amount:		$28,730

-Sharon Bergman